|
In numerical mathematics, interval propagation or interval constraint propagation is the problem of contracting interval domains associated to variables of R without removing any value that is consistent with a set of constraints (i.e., equations or inequalities). It is can be used to propagate uncertainties in the situation where errors are represented by intervals .〔 〕 Interval propagation considers an estimation problem as a constraint satisfaction problem. == Atomic contractors == A contractor associated to an equation involving the variables ''x''1,...,''x''''n'' is an operator which contracts the intervals (),..., () (that are supposed to enclose the ''x''''i'''s) without removing any value for the variables that is consistent with the equation. A contractor is said to be ''atomic'' if it is not built as a composition of other contractors. The main theory that is used to build atomic contractors are based on interval analysis. Example. Consider for instance the equation : which involves the three variables ''x''1,''x''2 and ''x''3. The associated contractor is given by the following statements : : : For instance, if : : : the contractor performs the following calculus : : : For other constraints, a specific algorithm for implementing the atomic contractor should be written. An illustration is the atomic contractor associated to the equation : is provided by Figures 1 and 2. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「interval propagation」の詳細全文を読む スポンサード リンク
|